/* test if statement */
/*@ */
int max(int a,int b)
{
  if (a>b)
    return a;
  else return b;
}
/*@ result>=a && result>=b*/


/*@ */
void main()
{
  int a,b;
  int m;
  a = 10;
  b = 6;
  m = max(a,b);
  print(m);
  return;
}
/*@ */
